Contract Monitoring Semantics as Patterns of Communication
نویسندگان
چکیده
We present a new approach to contract semantics which expresses myriad monitoring strategies using a small core of foundational communication primitives. This approach allows multiple existing contract monitoring approaches, ranging from Findler and Felleisen’s original model of higher-order contracts to semi-eager, parallel, or asynchronous monitors, to be expressed in a single language built on well-understood constructs. We prove that this approach accurately simulates the original semantics of higher-order contracts. A straightforward implementation in Racket demonstrates the practicality of our approach which can not only enrich existing Racket monitoring strategies, but also support a new style of monitoring in which collections of contracts collaborate to establish a global invariant.
منابع مشابه
Complete Monitors for Behavioral Contracts
A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contracts, it also poses a problem for language designers. Indeed, two distinct semantics have emerged for such method calls, dubbed lax and picky. While lax fails to protect components in certain scenarios, picky may blame an uninv...
متن کاملAgency, Cyberspace, and Social Contract
The social contract has been about rights and responsibilities in human societies. Facebook and its role in manufacturing and sustaining a global social contract, a new “we” is clearly one of the research areas that needs more attention. A new “we” is coming of age in the new age of connectivity and communication with a new outlook toward responsibility and rights at individual and collective l...
متن کاملStudies in Ethnopragmatics, Cultural Semantics, and Intercultural Communication: Ethnopragmatics and Semantic Analysis, Lauren Sadow, Bet Peeters & Kerry Mullan (Eds.) (2019), Springer, ISBN 978-981-32-9982-5
متن کامل
An Assessment of Beneficiaries’ Satisfaction of the Management of Loan Contract Components by Farmer Cooperative Societies in Edo State, Nigeria
The study assessed beneficiaries’ satisfaction in the management of loag-contract components by cooperatives involved in the farm credit delivery in Edo State. The objective was to identify the components of the farm loan contract, examine the management strategies and rate the beneficiaries’ satisfaction of such management strategies. This was done by purposively selecting 40 cooperatives invo...
متن کاملThe role of Persian causative markers in the acquisition of English causative verbs
This project investigates the relationship between lexical semantics and causative morphology in the acquisition of causative/inchoative-related verbs in English as a foreign language by Iranian speakers. Results of translation and picture judgment task show although L2 learners have largely acquired the correct lexico-syntactic classification of verbs in English, they were constrained by ...
متن کامل